Downward Monotone convergence Theorem